Thực đơn
Định_lý_Radon Chứng minh và cách xây dựngXét một tập { x 1 , x 2 , … , x d + 2 } ⊂ R d {\displaystyle \{x_{1},x_{2},\dots ,x_{d+2}\}\subset \mathbf {R} ^{d}} bất kì gồm d + 2 điểm trong không gian d chiều. Tồn tại các hệ số a1, ..., ad + 2, sao cho không phải tất cả đều bằng 0, và là lời giải cho hệ phương trình tuyến tính sau đây
∑ i = 1 d + 2 a i x i = 0 , ∑ i = 1 d + 2 a i = 0 , {\displaystyle \sum _{i=1}^{d+2}a_{i}x_{i}=0,\quad \sum _{i=1}^{d+2}a_{i}=0,}do chỉ có d + 2 ẩn số (các hệ số) nhưng chỉ có d + 1 phương trình (một phương trình cho mỗi tọa độ cùng với một phương trình yêu cầu tổng các hệ số bằng 0). Chọn một lời giải bất kì a1, ..., ad + 2. Đặt I là tập hợp các điểm có hệ số dương, và J là tập hợp các điểm có hệ số nhỏ hơn hoặc bằng 0. Khi đó I và J tạo thành phân chia cần tìm với bao lồi giao nhau.
Bao lồi của I và J giao nhau do chúng cùng chứa điểm
p = ∑ i ∈ I a i A x i = ∑ j ∈ J − a j A x j , {\displaystyle p=\sum _{i\in I}{\frac {a_{i}}{A}}x_{i}=\sum _{j\in J}{\frac {-a_{j}}{A}}x_{j},}trong đó
A = ∑ i ∈ I a i = − ∑ j ∈ J a j . {\displaystyle A=\sum _{i\in I}a_{i}=-\sum _{j\in J}a_{j}.}Vế trái của công thức cho p viết nó dưới dạng tổ hợp lồi của các điểm trong I, và vế phải viết nó dưới dạng tổ hợp lồi của các điểm trong J. Do đó p nằm trong cả hai bao lồi.
Chứng minh này cũng cho một thuật toán tìm điểm Radon trong thời gian đa thức của số chiều, bằng cách sử dụng phép khử Gauss hoặc các thuật toán hiệu quả khác để giải hệ phương trình tuyến tính.[1]
Thực đơn
Định_lý_Radon Chứng minh và cách xây dựngLiên quan
Định Định lý Pythagoras Định lý lớn Fermat Định luật vạn vật hấp dẫn của Newton Định cư ngoài không gian Định giá chuyển nhượng Định mệnh (phim 2009) Định dạng tập tin Định tuổi bằng carbon-14 Định nghĩa (ε, δ) của giới hạnTài liệu tham khảo
WikiPedia: Định_lý_Radon http://www.almaden.ibm.com/u/kclarkson/center/p.pd... http://ilex.iit.cnr.it/pellegrini/DispenseCorsoRan... //www.ams.org/mathscinet-getitem?mr=0310766 //www.ams.org/mathscinet-getitem?mr=97h:65010 //doi.org/10.1007%2FBF01197978 //doi.org/10.1007%2FBF01464231 //doi.org/10.1007%2FBF01896131 http://jlms.oxfordjournals.org/cgi/reprint/s1-41/1... http://projecteuclid.org/euclid.pjm/1102970059 https://web.archive.org/web/20110722030339/http://...